Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses

The complexity of modern systems (in both, the software and hardware domain) raises the need for abstract descriptions in early stages of the design flow. Such abstract descriptions are provided in modeling languages such as the UML and are often additionally enriched by declarative languages like OCL. This allows for a profound but comprehensive description of the structure and the behavior of the system to be realized. However, declarative descriptions often cause ambiguities about which model properties are supposed to be changed when executing an operation. Invariability clauses are a proper description mean to address this issue. Unfortunately, even if some approaches offer an automatic generation, they still are not sufficiently restricting the variability of model properties regarding a proper interpretation. In this work-in-progress report, we propose an idea for an automatic generation and evaluation of the respective invariability clauses by using interpretation semantics, i. e., restricting changes in model properties concerning the given OCL expressions.